Slip โ€“ A Lisp System in JavaScript
lisperator.netยท5hยท
Discuss: Hacker News
๐Ÿ”—Lisp
Homomorphism Problems in Graph Databases and Automatic Structures
arxiv.orgยท15h
๐Ÿ”—Graph Isomorphism
Learning from software errors โ€“ Part 3: A Mars probe gets out of control
heise.deยท11h
๐Ÿ“žSession Types
Three ways formally verified code can go wrong in practice
buttondown.comยท2h
๐Ÿ“œProof Carrying Code
LLMs and reinforcement learning
sicpers.infoยท9h
โš”๏ธLean Tactics
Explicit Lossless Vertex Expanders!
gilkalai.wordpress.comยท9h
๐Ÿ’ŽInformation Crystallography
Automated Parameter Calibration in Physics-Based Robot Simulation via Bayesian Optimization
dev.toยท18hยท
Discuss: DEV
โšกIncremental Computation
An enough week
blog.mitrichev.chยท23hยท
๐Ÿ“ˆLinear programming
Cactus Language โ€ข Semantics 3
inquiryintoinquiry.comยท3h
๐Ÿ”ขDenotational Semantics
Neuro-Symbolic AI
en.wikipedia.orgยท4hยท
Discuss: Hacker News
๐Ÿ”ฒCellular Automata
Getting a Hypergraph of Functions to a Browser
systeminit.comยท1dยท
Discuss: Hacker News
๐Ÿ“E-graphs
Erlang-Red Walkthrough โ€“ Visual FBP for Telecom: Diameter AAA on Erlang/OTP
blog.tadsummit.comยท5hยท
Discuss: Hacker News
๐ŸŒProtocol Synthesis
LINQ and Learning to Be Declarative
nickstambaugh.devยท1dยท
Discuss: Hacker News
๐Ÿ”—Concatenative Programming
Categorical systems theory
topos.instituteยท7h
๐Ÿ”€Category Theory
Why Haskell is the perfect fit for renewable energy tech
mrcjkb.devยท2dยท
Discuss: Hacker News
๐ŸงฌFunctional Programming
Let's Write a Macro in Rust
hackeryarn.comยท3hยท
Discuss: Hacker News
๐Ÿฆ€Rust Macros
Experimenting with ACL2 and Claude Code
mikedodds.orgยท6hยท
Discuss: Hacker News
๐Ÿ‘‘Isabelle
Multimodal Safety Evaluation in Generative Agent Social Simulations
arxiv.orgยท15h
๐Ÿ”ฒCellular Automata
Show HN: Realization Jsmn on a Pure Zig
github.comยท9hยท
Discuss: Hacker News
๐Ÿ”—Concatenative Programming
Parallelizing Cellular Automata with WebGPU Compute Shaders
vectrx.substack.comยท9hยท
Discuss: Substack
๐Ÿ”ฒCellular Automata